Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
201	SRC Technical Note 1997-005c June 2, 1998 The Vesta-2 Software Description Language Allan Heydon, Jim Horning, Roy Levin, Timothy Mann, and Yuan Yu Add to Reading List Source URL: tim-mann.org Language: English - Date: 2006-11-21 14:57:53 Control flow Functional languages Functional programming Data types Lisp programming language Eval ECL programming language Lisp Apply Software engineering Computing Computer programming
202	The expl3 package and LATEX3 programming∗ The LATEX3 Project† Released[removed]Abstract This document gives an introduction to a new set of programming conventions Add to Reading List Source URL: www.tex.uniyar.ac.ru Language: English - Date: 2015-04-07 06:32:34 Source code Subroutines Macro programming languages Data types C programming language TeX Variable C++ classes C syntax Computing Software engineering Computer programming
203	Type-Safe Linking and Modular Assembly Language ∗ Neal Glew and Greg Morrisett Department of Computer Science Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-02-16 17:38:57 Type theory Data types Cross-platform software Procedural programming languages Object-oriented programming Type system C Type safety Portable Executable Computing Software engineering Computer programming
204	Amsterdam Compiler Kit-ANSI C compiler compliance statements Hans van Eck Dept. of Mathematics and Computer Science Vrije Universiteit Amsterdam, The Netherlands This document specifies the implementation-defined behavio Add to Reading List Source URL: tack.sourceforge.net Language: English - Date: 2011-02-11 16:00:22 C POSIX library C programming language Procedural programming languages C++ Data types Pointer Exec Errno.h Printf format string Computing Computer programming Software engineering
205	April 2014 TC39 Mee1ng ES6 Status and Open Issues Allen Wirfs-‐Brock Major Things in Rev23 (Language) Add to Reading List Source URL: esdiscuss.org Language: English Cross-platform software Data types Functional programming Procedural programming languages Type theory Variable Scope C Generator Software engineering Computing Computer programming
206	Types and Static Semantic Analysis COMS W4115 Prof. Stephen A. Edwards Spring 2002 Columbia University Department of Computer Science Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2002-02-21 10:48:46 C programming language Data types C++ Type theory Procedural programming languages Struct Composite data type C++ classes Union Computing Computer programming Software engineering
207	Compile-Time Debugging of C Programs Working on Trees Jacob Elgaard, Anders Møller, and Michael I. Schwartzbach BRICS, University of Aarhus {elgaard,amoeller,mis}@brics.dk Abstract. We exhibit a technique for automatica Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-02-17 06:24:39 Data types C programming language C++ Primitive types Procedural programming languages First-order logic Struct Pointer Hoare logic Software engineering Computing Computer programming
208	Using, Understanding, and Unraveling The OCaml Language From Practice to Theory and vice versa Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Type theory Data types Functional languages OCaml Caml ML Type system Type inference Type soundness Software engineering Programming language theory Computing
209	Climate Data Management System Version 5.0 Robert Drach, Paul Dubois, Dean Williams Program for Climate Model Diagnosis and Intercomparison Add to Reading List Source URL: www2-pcmdi.llnl.gov Language: English - Date: 2007-11-21 18:44:36 Variables Data types Scripting languages Earth sciences graphics software Array programming languages NetCDF Python Constructor MATLAB Computing Software engineering Software
210	Type Inference for Late Binding. The SmallEiel Compiler. Suzanne COLLIN, Dominique COLNET and Olivier ZENDRA Campus Scientique, Bâtiment LORIA, Boîte Postale 239, 54506 Vandoeuvre-lès-Nancy Cedex Add to Reading List Source URL: smarteiffel.loria.fr Language: English - Date: 2007-07-11 14:08:32 Data types Object-oriented programming Procedural programming languages Type theory C++ Pointer Eiffel Generic programming C Software engineering Computer programming Computing

UPDATE